Formal Methods for Safety and Security - Case Studies for Aerospace Applications
- Författare
- (Edited by Manju Nanda, Yogananda Jeppu.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Singapore, Imprint: Springer | 2018 | Singapore, Singapore | XII, 132 sidor. 42 illus., 24 illus. in color. online resource. | 978-981-10-4121-1 |